perm filename TEST[TEM,JMC] blob sn#734073 filedate 1983-12-05 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(proof test)
C00003 ENDMK
C⊗;
(proof test)
(der |∃x.∀y.(P(x) ⊃ P(y)) ∨ ∃x.∀y.(P(x) ⊃ P(y))|)